YAP (Prolog) - Wikipedia, the free encyclopedia

YAP is an open source, high-performance implementation of the Prolog programming language developed at LIACC/Universidade do Porto and at COPPE ...

en.wikipedia.org